note
	description: "Summary description for {OBJET}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	OBJET
	create{ANY}
		make


feature {ANY}
	make(nom_objet:STRING) is
	-- creation de l objet nom_objet
		do
			nom:=nom_objet
		end;


feature {OBJET} -- Implementation

	nom:STRING
	cout_ressource:INTEGER
	attaque:INTEGER
	defense:INTEGER

feature {ANY}
	get_nom : STRING is
	--
		do
		 	Result:=nom
		end;

	get_cout_ressources : INTEGER is
	--
		do
		 	Result:=cout_ressource
		end;


	get_attaque : INTEGER is
	--
		do
		 	Result:=attaque
		end;


	get_defense : INTEGER is
	--
		do
		 	Result:=defense
		end;



invariant
	invariant_clause: True -- Your invariant here
	cout_ressource>=0
	attaque>=0
	defense>=0
end
